Results for 'Allan Davy Santos Senab'

1000+ found
Order:
  1.  12
    Nem gênio, nem herói: Nietzsche, Renan E a figura de Jesus.Ernani Chaves & Allan Davy Santos Senab - 2008 - Revista de Filosofia Aurora 20 (27):321.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  33
    Modulation of Serum Brain-Derived Neurotrophic Factor by a Single Dose of Ayahuasca: Observation From a Randomized Controlled Trial.Raíssa Nóbrega de Almeida, Ana Cecília de Menezes Galvão, Flávia Santos da Silva, Erick Allan dos Santos Silva, Fernanda Palhano-Fontes, João Paulo Maia-de-Oliveira, Lobão-Soares Barros de Araújo, Bruno Lobão-Soares & Nicole Leite Galvão-Coelho - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  22
    The scholastic’s dilemma: Hobbes critique of scholastic politics and papal power on the Leviathan frontispiece.Allan Gabriel Cardoso dos Santos - 2024 - History of European Ideas 50 (1):1-16.
    The idea that the Leviathan frontispiece offers a visual summary of the contents of the work is widespread. However, the analysis of the frontispiece often under-explores Leviathan's text or leaves certain iconographic elements aside. In discussions of the Scholastics ‘Dilemma’ emblem, for instance, the image is commonly reduced to a representation of ‘logic’ or ‘scholasticism’, leaving aside the intricate interrelationship between the objects present in the image and their connection with the content of the book. This paper argues that this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Thomas Hobbes’ Invisible Things.Allan Gabriel Cardoso dos Santos - 2023 - Hobbes Studies 36 (2):156-174.
    Hobbes argues that among the reasons for the Catholic Church’s power is the difficulty for ignorant people to understand the causes of natural phenomena. They take the motion of invisible bodies for the intervention of incorporeal agents. For Hobbes, the Church tries to perpetuate this profitable misunderstanding by spreading Scholastic doctrines supporting this idea in the sermons of all the parishes of the Christian world. Existing literature, thus far, focused almost exclusively on Hobbes’ negative claim concerning incorporeal substances, i.e., that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    What the papers say: Mutation of N‐myc in Mice: What does the phenotype tell us?Ann Davis & Allan Bradley - 1993 - Bioessays 15 (4):273-275.
    Oncogenesis is manifested as uncontrolled cellular proliferation and in some situations a failure of normal differentiation in the transformed cell. This has led to speculation that the normal role of proto‐oncogenes during development may be to mediate the relationship between proliferation and differentiation. The advent of gene targeting in ES cells allows the role oncogenes in development to be tested directly. Two recent studies have examined the phenotype of N‐myc mutant mice generated by gene targeting(1,2). In both reports, the mutation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Should Architects Refrain From Designing Prisons for Long-term Solitary Confinement? – An Open Letter to the Architecture Profession.Tom Spector, Craig Borkenhagen, Mark Davis, Carrie Foster, Jacob Gann, Tou Lee Her, Aaron Klossner, Evan Murta, Ryan Rankin, Maria Cristina Rodriguez Santos, Connor Tascott, Sarah Turner & Spencer Williams - 2019 - Architecture Philosophy 4 (1).
    In a profile in the November, 2012 issue of the magazine Architect, activist-architect Raphael Sperry, a founder of the group Architects Planners & Designers for Social Responsibility discussed his petition to amend the AIA’s Code of Ethics and Professional Conduct to include a prohibition on “the design of spaces intended for long-term solitary isolation and execution.”1 This issue is both serious and timely. It deserves contemplative attention before any action is taken. The purpose of this letter is to provide the (...)
     
    Export citation  
     
    Bookmark  
  7.  10
    Estado de Exceção e Relações Internacionais: O Refugiado e o Poder Soberano.Flávia De Ávila & Allan Wesley M. Dos Santos - 2019 - Prometeus: Filosofia em Revista 11 (30).
    O estudo do estado de exceção, paradoxo central da política moderna, é objeto da análise de diferentes vertentes conceituais que envolvem o poder soberano e o seu exercício. Sua prática tem importantes consequências para as Relações Internacionais, como no caso de refugiados, que muitas vezes se encontram à margem do amparo legal estatal por sua singular situação, carentes do exercício da cidadania e liberdade para agirem como agentes políticos transformadores do meio social. Este artigo propõe um delineamento de teorias político-filosóficas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Autoridade e aparência de religião em Maquiavel.Allan Gabriel Cardoso dos Santos - 2019 - Cadernos PET-Filosofia (Parana) 17 (2).
    Na obra política de Maquiavel, o poder aparece sempre associado à capacidade de produzir ordenações e, consequentemente, comportamentos coletivos, isto é, tem poder aquele que tem “autoridade” (autorità). O secretário florentino, através da descrição do processo de construção da autoridade pelo aumento da reputação(O Príncipe, IX, 3), parece delinear uma certa forma de poder que se funda sobre a opinião pública a respeito dos indivíduos e não sobre as leis e ordenações políticas. O reconhecimento da autoridade – a reputação – (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  32
    The monster imagined: humanity's recreation of monsters and monstrosity.Laura K. Davis & Cristina Santos (eds.) - 2010 - Oxford: Inter-Disciplinary.
    A collection of interdisciplinary essays examining how far and to what extent humanity and monstrosity have become intertwined.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  27
    Curtler, Hugh Mercer. Rediscover.Stephen Darwall, Allan Gibbard, Peter Railton, Robbie Davis-Floyd, P. Sven, Patrice DiQuinzio, Iris Marion, M. David Ermann, Mary B. Williams & Michele S. Shauf - 1998 - Teaching Philosophy 21 (1):115.
  11.  20
    Improving Cross-sectoral and Cross-jurisdictional Coordination for Public Health Emergency Legal Preparedness.Cheryl H. Bullard, Rick D. Hogan, Matthew S. Penn, Janet Ferris, John Cleland, Daniel Stier, Ronald M. Davis, Susan Allan, Leticia Van de Putte, Virginia Caine, Richard E. Besser & Steven Gravely - 2008 - Journal of Law, Medicine and Ethics 36 (S1):57-63.
    This paper is one of the four interrelated action agenda papers resulting from the National Summit on Public Health Legal Preparedness convened in June 2007 by the Centers for Disease Control and Prevention and multi-disciplinary partners. Each of the action agenda papers deals with one of the four core elements of public health legal preparedness: laws and legal authorities; competency in using those laws; coordination of law-based public health actions; and information. Options presented in this paper are for consideration by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  48
    Improving Cross-sectoral and Cross-jurisdictional Coordination for Public Health Emergency Legal Preparedness.Cheryl H. Bullard, Rick D. Hogan, Matthew S. Penn, Janet Ferris, John Cleland, Daniel Stier, Ronald M. Davis, Susan Allan, Leticia Van de Putte, Virginia Caine, Richard E. Besser & Steven Gravely - 2008 - Journal of Law, Medicine and Ethics 36 (s1):57-63.
    This paper is one of the four interrelated action agenda papers resulting from the National Summit on Public Health Legal Preparedness convened in June 2007 by the Centers for Disease Control and Prevention and multi-disciplinary partners. Each of the action agenda papers deals with one of the four core elements of public health legal preparedness: laws and legal authorities; competency in using those laws; coordination of law-based public health actions; and information. Options presented in this paper are for consideration by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  22
    Improving Cross-Sectoral and Cross-Jurisdictional Coordination for Public Health Emergency Legal Preparedness.Cheryl H. Bullard, Rick D. Hogan, Matthew S. Penn, Honorable Janet Ferris, Honorable John Cleland, Daniel Stier, Ronald M. Davis, Susan Allan, Leticia Van de Putte, Virginia Caine, Richard E. Besser & Steven Gravely - 2008 - Journal of Law, Medicine and Ethics 36 (s1):57-63.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  16
    Early Voltaic Batteries: an Evaluation in Modern Units and Application to the Work of Davy and Faraday.Allan A. Mills - 2003 - Annals of Science 60 (4):373-398.
    Classic voltaic batteries of the silver/zinc and copper/zinc types are the ancestors of today's primary cells, and facilitated the development of many aspects of electrical technology. Nevertheless, they appear never to have been studied and evaluated in a quantitative manner, with results recorded in terms of volts, amps, ohms, and watts. Research of this nature is reported here, and has been conducted for the most part with copper/zinc cells. Log–log graphs of voltage versus load and current, and power versus load, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Commentary on the Papers of Davis Baird, Peter Kroes, and Michael Dennis.Allan Franklin - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:452 - 457.
    One important point that has emerged from recent work on the history and philosophy of experiment is that technology plays an integral role in experiment, and therefore in science. Technology determines what experimenters can measure and how well it can be measured. The importance of technology, along with several new questions that its use raises, has been made quite clear in the papers presented in this session.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  18
    Heinrich hertz: Classical Physicist, Modern Philosopher. Davis Baird, R. I. G. Hughes, Alfred Nordmann.Allan Janik - 2000 - Isis 91 (1):166-167.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Heinrich hertz: Classical Physicist, Modern Philosopher by Davis Baird; R. I. G. Hughes; Alfred Nordmann. [REVIEW]Allan Janik - 2000 - Isis 91:166-167.
  18.  47
    J. Davie : Euripides, Electra and other Plays. Introduction and notes by R. Rutherford. Pp. l + 265. London: Penguin Press, 1998. Paper, £6.99. ISBN: 0-14-044668-0. [REVIEW]William Allan - 1999 - The Classical Review 49 (2):559-559.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    O que podem três textos literários contra o genocídio negro?Glauce Souza Santos - 2023 - Odeere 8 (1):84-105.
    A partir de leituras, aproximações e interpretações dos textos literários Da Paz, de Marcelino Freire; Alecrim, de Davi Nunes; e Quadrilha, de Lívia Natália, discuto a respeito do recorrente genocídio do povo negro. Reflito sobre o pseudodiscurso de apaziguamento e igualdade, além de pontuar as aproximações no que se refere à linguagem e discurso entre os textos dos três autores e aponto as expressões de raiva e/ou vingança e o tom de denúncia que caracterizam os textos. Articulo essa discussão aos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  25
    Metaética: algumas tendências.Bruno Aislã Gonçalves Santos & Pedro Merlussi - 2013 - Ethic@ - An International Journal for Moral Philosophy 12 (2):346–354.
    This is a review of the book Metaética: algumas tendências. The book contains papers of three important philosophers in this subject, Peter Railton, Allan Gibbard and Stephen Darwall. Since this book has been published, the study of metaethics has been improved in Brazil. In this review we describe the main aspects of the book, focusing on Railton’s ideas.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    Charles Baudelaire, Edgar Allan Poe. Traducción de Carmen Santos.Jean-François Tock - 1993 - Revue Philosophique De Louvain 91 (92):659-659.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  15
    Davis Baird, thing knowledge: A philosophy of scientific instruments. Berkeley and London: University of california press, 2004. Pp. XXI+273. Isbn 0-520-23249-6. £42.95, $65.00 . Allan Franklin, selectivity and discord: Two problems of experiment. Pittsburgh: University of pittsburgh press, 2002. Pp. IX+290. Isbn 0-8229-4191-0. £31.50. [REVIEW]David C. Gooding - 2006 - British Journal for the History of Science 39 (4):598-599.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  63
    Walter E. Broman, Allan H. Pasco, Michael L. Hall, John F. Desmond, Steven Rendall, Robert Tobin, Marilyn R. Schuster, Tom Conley, Peter Losin, William E. Cain, Will Morrisey, Richard A. Watson, Christopher Wise, Stephen Davies, C. S. Schreiner, James E. Dittes, Michael Fischer, Eva M. Knodt, Karsten Harries, Robert C. Solomon, Stephen Nathanson, Robert D. Cottrell, Zack Bowen, Mary Bittner Wiseman, Edward E. Foster, Kathleen Marie Higgins, Richard Freadman, Patrick Henry. [REVIEW]Alfred Louch - 1991 - Philosophy and Literature 15 (2):323.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  47
    The Social Brain and the Myth of Empathy.Allan Young - 2012 - Science in Context 25 (3):401-424.
    ArgumentNeuroscience research has created multiple versions of the human brain. The “social brain” is one version and it is the subject of this paper. Most image-based research in the field of social neuroscience is task-driven: the brain is asked to respond to a cognitive (perceptual) stimulus. The tasks are derived from theories, operational models, and back-stories now circulating in social neuroscience. The social brain comes with a distinctive back-story, an evolutionary history organized around three, interconnected themes: mind-reading, empathy, and the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  6
    Scotus and Ockham: selected essays.Allan Bernard Wolter - 2003 - St. Bonaventure, NY: Franciscan Institute Publications.
    Reflections on the life and works of Scotus -- The early works of Scotus -- Duns Scotus at Oxford -- A Scotistic approach to the ultimate why-question -- God's knowledge : a study in Scotistic methodology -- William of Alnwick on Scotus and divine concurrence -- Scotus on the origin of possibility -- Scotus's lectures on the Immaculate Conception -- Scotus's ethics -- Scotus's eschatology : some reflections -- Scotism -- An Oxford dialogue on language and metaphysics -- Ockham and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  14
    The Harmony of Illusions: Inventing Post-traumatic Stress Disorder.Allan Young - 1995 - Princeton: Princeton University Press.
    As far back as we know, there have been individuals incapacitated by memories that have filled them with sadness and remorse, fright and horror, or a sense of irreparable loss. Only recently, however, have people tormented with such recollections been diagnosed as suffering from "post-traumatic stress disorder." Here Allan Young traces this malady, particularly as it is suffered by Vietnam veterans, to its beginnings in the emergence of ideas about the unconscious mind and to earlier manifestations of traumatic memory (...)
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
  27.  34
    Investigating When and Why Psychological Entitlement Predicts Unethical Pro-organizational Behavior.Allan Lee, Gary Schwarz, Alexander Newman & Alison Legood - 2019 - Journal of Business Ethics 154 (1):109-126.
    In this research, we examine the relationship between employee psychological entitlement and employee willingness to engage in unethical pro-organizational behavior. We hypothesize that a high level of PE—the belief that one should receive desirable treatment irrespective of whether it is deserved—will increase the prevalence of this particular type of unethical behavior. We argue that, driven by self-interest and the desire to look good in the eyes of others, highly entitled employees may be more willing to engage in UPB when their (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  28. Concreteness, imagery, and meaningfulness values for 925 nouns.Allan Paivio, John C. Yuille & Stephen A. Madigan - 1968 - Journal of Experimental Psychology 76 (1p2):1.
  29. Film and phenomenology: toward a realist theory of cinematic representation.Allan Casebier - 1991 - New York: Cambridge University Press.
    In Film and Phenomenology, Allan Casebier develops a theory of representation first indicated in the writings of the father of phenomenology, Edmund Husserl, and then applies it to the case of cinematic representation. This work provides one of the clearest expositions of Husserl's highly influential but often obscure thought. It also demonstrates the power of phenomenology to illuminate the experience of the art form unique to the twentieth-century cinema. Film and Phenomenology is intended as an antidote to all hitherto (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  30
    Rehearsal in animal conditioning.Allan R. Wagner, Jerry W. Rudy & Jesse W. Whitlow - 1973 - Journal of Experimental Psychology 97 (3):407.
  31.  39
    Representing and Intervening: Introductory Topics in the Philosophy of Natural Science.Davis Baird - 1988 - Noûs 22 (2):299-307.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   230 citations  
  32.  26
    The Evolution of Moral Progress. A Biocultural Theory.Allan Buchanan & Russel Powell - 2019 - Zeitschrift für Philosophische Forschung 73 (1):161-164.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  33.  2
    Approval and Rejection of the “Basic Idea of Communism”.Emery Keeri-Santo & Henry O. Hart - 1978 - Communications 4 (3):361-374.
  34.  33
    Frontiers of consciousness.Lawrence Weiskrantz & Martin Davies (eds.) - 2008 - New York: Oxford University Press.
    In recent years consciousness has become a significant area of study in the cognitive sciences. The Frontiers of Consciousness is a major interdisciplinary exploration of consciousness. The book stems from the Chichele lectures held at All Souls College in Oxford, and features contributions from a 'who's who' of authorities from both philosophy and psychology. The result is a truly interdisciplinary volume, which tackles some of the biggest and most impenetrable problems in consciousness. The book includes chapters considering the apparent explanatory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  6
    La mirada cercana: microanálisis fílmico.Santos Zunzunegui Díez - 1996 - Barcelona: Paidós.
    Los cinco estudios que componen este volumen estan dedicados a mostrar que es posible abordar el estudio de un film y por extension del cine en su conjunto a partir de fragmentos minimos extraidos de una obra concreta. Concebidos con una metodologia unitaria intentan, limitando al maximo el uso de esa jerga especializada que suele hacer de muralla entre el analista y el lector, proporcionar instrumentos operativos para todos aquellos que conciben el cine como territorio donde saber y placer no (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. A spreading-activation theory of semantic processing.Allan M. Collins & Elizabeth F. Loftus - 1975 - Psychological Review 82 (6):407-428.
  37.  44
    Effects of amount and percentage of reinforcement and number of acquisition trials on conditioning and extinction.Allan R. Wagner - 1961 - Journal of Experimental Psychology 62 (3):234.
  38.  56
    Intersectionality and Feminist Politics.Nira Yuval-Davis - 2006 - European Journal of Women's Studies 13 (3):193-209.
    This article explores various analytical issues involved in conceptualizing the interrelationships of gender, class, race and ethnicity and other social divisions. It compares the debate on these issues that took place in Britain in the 1980s and around the 2001 UN World Conference Against Racism. It examines issues such as the relative helpfulness of additive or mutually constitutive models of intersectional social divisions; the different analytical levels at which social divisions need to be studied, their ontological base and their relations (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   88 citations  
  39.  82
    Aristotle's Protrepticus an Attempt at Reconstruction.D. J. Allan - 1961 - Acta Universitatis Gothoburgensis.
  40. A Luxury of the Understanding: On the Value of True Belief.Allan Hazlett - 2013 - Oxford: Oxford University Press.
    Allan Hazlett challenges the philosophical assumption of the value of true belief. He critiques the view that true belief is better for us than false belief, and the view that truth is "the aim of belief". An alternative picture is provided, on which the fact that some people love truth is all there is to "the value of true belief".
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  41.  24
    Remembering the Evolutionary Freud.Allan Young - 2006 - Science in Context 19 (1):175-189.
    ArgumentThroughout his career as a writer, Sigmund Freud maintained an interest in the evolutionary origins of the human mind and its neurotic and psychotic disorders. In common with many writers then and now, he believed that the evolutionary past is conserved in the mind and the brain. Today the “evolutionary Freud” is nearly forgotten. Even among Freudians, he is regarded to be a red herring, relevant only to the extent that he diverts attention from the enduring achievements of the authentic (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Mental imagery in associative learning and memory.Allan Paivio - 1969 - Psychological Review 76 (3):241-263.
  43.  33
    Dream content: Individual and generic aspects☆.Allan Hobson & David Kahn - 2007 - Consciousness and Cognition 16 (4):850-858.
    Dream reports were collected from normal subjects in an effort to determine the degree to which dream reports can be used to identify individual dreamers. Judges were asked to group the reports by their authors. The judges scored the reports correctly at chance levels. This finding indicated that dreams may be at least as much like each other as they are the signature of individual dreamers. Our results suggest that dream reports cannot be used to identify the individuals who produced (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  62
    On Technological Determinism: A Typology, Scope Conditions, and a Mechanism.Allan Dafoe - 2015 - Science, Technology, and Human Values 40 (6):1047-1076.
    “Technological determinism” is predominantly employed as a critic’s term, used to dismiss certain classes of theoretical and empirical claims. Understood more productively as referring to claims that place a greater emphasis on the autonomous and social-shaping tendencies of technology, technological determinism is a valuable and prominent perspective. This article will advance our understanding of technological determinism through four contributions. First, I clarify some debates about technological determinism through an examination of the meaning of technology. Second, I parse the family of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  45. Creating mental illness.Allan V. Horwitz - 2002 - Chicago: University of Chicago Press.
    In this surprising book, Allan V. Horwitz argues that our current conceptions of mental illness as a disease fit only a small number of serious psychological conditions and that most conditions currently regarded as mental illness are cultural constructions, normal reactions to stressful social circumstances, or simply forms of deviant behavior.
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  46. The Neglect of Experiment.Allan Franklin - 1986 - Cambridge University Press.
    What role have experiments played, and should they play, in physics? How does one come to believe rationally in experimental results? The Neglect of Experiment attempts to provide answers to both of these questions. Professor Franklin's approach combines the detailed study of four episodes in the history of twentieth century physics with an examination of some of the philosophical issues involved. The episodes are the discovery of parity nonconservation in the 1950s; the nondiscovery of parity nonconservation in the 1930s, when (...)
     
    Export citation  
     
    Bookmark   84 citations  
  47.  22
    Sodium amytal and partially reinforced runway performance.Allan R. Wagner - 1963 - Journal of Experimental Psychology 65 (5):474.
  48. On the Foundations of Statistical Inference.Allan Birnbaum - 1962 - Journal of the American Statistical Association 57 (298):269--306.
     
    Export citation  
     
    Bookmark   38 citations  
  49.  12
    Our Traumatic Neurosis and Its Brain.Allan Young - 2001 - Science in Context 14 (4).
  50.  31
    A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.José Espírito Santo & Gilda Ferreira - 2020 - Studia Logica 108 (3):477-507.
    We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000